Nilpotent matrices having a given Jordan type as maximum commuting nilpotent orbit

摘要

The Jordan type of a nilpotent matrix is the partition giving the sizes ofits Jordan blocks. We study pairs of partitions $(P,Q)$, where $Q={\mathcalQ}(P)$ is the Jordan type of a generic nilpotent matrix A commuting with anilpotent matrix B of Jordan type $ P$. T. Ko\v{s}ir and P. Oblak have shownthat $Q$ has parts that differ pairwise by at least two. Such partitions, whichare also known as "super distinct" or "Rogers-Ramanujan", are exactly thosethat are stable or "self-large" in the sense that ${\mathcal Q}(Q)=Q$. In 2012 P. Oblak formulated a conjecture concerning the cardinality of theset of partitions $P$ such that ${\mathcal Q}(P)$ is a given stable partition $Q$ with two parts, and proved some special cases. R. Zhao refined this to positthat those partitions $P$ such that ${\mathcal Q}(P)= Q=(u,u-r)$ with $u>r\ge2$ could be arranged in an $(r-1)$ by $(u-r)$ table ${\mathcal T}(Q)$ where theentry in the $k$-th row and $\ell$-th column has $k+\ell$ parts. We prove this Table Theorem, and then generalize the statement to propose aBox Conjecture for the set of partitions $P$ for which ${\mathcal Q}(P)=Q$, foran arbitrary stable partition $Q$.